push: support pushing HEAD to real branch name
[git] / gitweb / test / file with spaces
1 This
2 filename
3 contains
4 spaces.